#ifndef _proprobe_h_INCLUDED
#define _proprobe_h_INCLUDED

struct kissat;
struct clause;

struct clause*
kissat_mab_probing_propagate(struct kissat*, struct clause*);

#endif
